Composing tests from examples (2007)